COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	(9) Recursive Programs As Functions in a First Order Theory
C00006 ENDMK
C⊗;
(9) Recursive Programs As Functions in a First Order Theory
	Original Filename: First[w79,jmc]
	New Filename: first.tex
	Status: in progress, need to break equations and figure out how
        	the bold face in the equations is supposed to be done.
		On 9p checking eqs.
(11) The game of Pang-ke 
	Original filename: none
	New Filename: pangke.tex
	Status: not begun
(1),(2),(3),(4),(5),(6),(8),(10) Finished
(9) Overfull hboxes
(7)  Flowchart
(11) not started, will be complex


(1**) First Order Theories of Individual Concepts and Propositions
	Original filename: concep[e76,jmc]
	New filename: concep.tex[e76,jmc]
	Status: finished, being checked.
(2**) Epistomological Problems of Artificial Intelligence
	Original filename: ijcai.c[e76,jmc]
	New filename: ijcai.tex[e76,jmc]
	Status: finished, being checked.
(3**) Ascribing Mental Qualities to Machines
	Original filename: mental[f76,jmc]
	New filename: mental.tex?[f76,jmc]not moved yet
	Status:finished with notes at end. Also 2 too long lines.
(4**) Circumscription-A Form of Non-Monotonic Reasoning
	Original filename: circum.new[s79,jmc]
	New filename: cirnew.tex[s79,jmc]
	Status: Finished, being checked.
(5**) Some Expert Systems Need Common Sense
	Original filename: common[e83,jmc]
	New filename: common.tex[e83,jmc]
	Status: finished
(6**) Programs with Common Sense
	Original filename: Common[e80,jmc]
	New filename: Common.tex[e80,jmc]
	Status: finished,being checked.
(7**) Some Philosophical Problems from the Standpoint of Artificial Intelligence
	Original filename: Phil[ess,jmc]
	New filename: Phil.tex[ess,jmc]
	Status:finished some cleaning up could be used
(8**) Applications of Circumscription to Formalizing Common Sense Knowledge
 	Original filname: circum[f83,jmc]
	New filename: circum.tex[f83,jmc]
	Status:Finished
(10**)Situations, Actions, and Causal Law
	Original Filename: none
	New filename: causal.tex[w85,jmc]not yet moved
	Status: Finished
So by the end of the weekend, (1),(2),(4),(5),(6),(8),(9),(10) should be 
finished. (3),(7), and (11) will be more complicated.